1

Observational trees as models for concurrency

Year:
1999
Language:
english
File:
PDF, 327 KB
english, 1999
4

Prefix–suffix square reduction

Year:
2016
Language:
english
File:
PDF, 502 KB
english, 2016
6

Models of Nondeterministic Regular Expressions

Year:
1999
Language:
english
File:
PDF, 350 KB
english, 1999
7

Enriched categorial semantics for distributed calculi

Year:
1992
Language:
english
File:
PDF, 1.60 MB
english, 1992
8

Conduché property and -based categories

Year:
2010
Language:
english
File:
PDF, 1.07 MB
english, 2010
9

Categories enriched on two sides

Year:
2002
Language:
english
File:
PDF, 330 KB
english, 2002
10

Categories with sums and right distributive tensor product

Year:
2003
Language:
english
File:
PDF, 184 KB
english, 2003
11

Nondeterministic regular expressions as solutions of equational systems

Year:
2003
Language:
english
File:
PDF, 211 KB
english, 2003
12

Tree Morphisms and Bisimulations

Year:
1998
Language:
english
File:
PDF, 1.05 MB
english, 1998
13

Process synchronisation as fusion

Year:
1996
Language:
english
File:
PDF, 983 KB
english, 1996
14

Superposition Based on Watson–Crick-Like Complementarity

Year:
2006
Language:
english
File:
PDF, 252 KB
english, 2006
15

Generalising Conduché’s Theorem

Year:
2011
Language:
english
File:
PDF, 354 KB
english, 2011
17

Pointed pictures

Year:
2007
Language:
english
File:
PDF, 256 KB
english, 2007
18

Spatial and temporal aspects in visual interaction

Year:
2012
Language:
english
File:
PDF, 1.06 MB
english, 2012
23

Tree-functors, determinacy and bisimulations

Year:
2010
Language:
english
File:
PDF, 535 KB
english, 2010
26

Networks of polarized multiset processors

Year:
2016
Language:
english
File:
PDF, 587 KB
english, 2016
31

Reaction systems with influence on environment

Year:
2019
Language:
english
File:
PDF, 2.57 MB
english, 2019
33

Preface

Year:
2002
File:
PDF, 20 KB
2002